home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / tex / dvivga9.zip / ALLDONE.H < prev    next >
Text File  |  1988-05-30  |  732b  |  24 lines
  1. /* -*-C-*- alldone.h */
  2. /*-->alldone*/
  3. /**********************************************************************/
  4. /****************************** alldone  ******************************/
  5. /**********************************************************************/
  6.  
  7. void
  8. alldone()
  9.  
  10. {
  11.     register int t;
  12.  
  13.     if ((g_errenc != 0) && g_dolog && (g_logfp != (FILE *)NULL))
  14.     {        /* errors occurred - copy log file to stderr */
  15.     (void)fflush(g_logfp);        /* make sure file is up-to-date */
  16.     (void)REWIND(g_logfp);        /* rewind it */
  17.     while ((t=(int)getc(g_logfp)) != EOF)    /* copy to stderr */
  18.         (void)putc((char)t,stderr);
  19.     (void)fclose(g_logfp);        /* close it */
  20.     g_logfp = (FILE *)NULL;
  21.     }
  22.     abortrun(g_errenc);
  23. }
  24.